projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2c96ecb) | patch
Use configure --prefix=DIR to set PREFIX
authorOlaf Hering <olaf@aepfle.de>
Wed, 1 Oct 2014 16:41:18 +0000 (18:41 +0200)
committerIan Campbell <ian.campbell@citrix.com>
Mon, 6 Oct 2014 16:00:21 +0000 (17:00 +0100)
commitace49968696afb69d17601766d18416e9ac17894
tree649d537623bcda45d157bded5ccbca44ac6352dbtree | snapshot
parent2c96ecb1a4f002abf95be3333167d48b3be5868dcommit | diff
Use configure --prefix=DIR to set PREFIX

PREFIX is set by configure --prefix=DIR, nothing outside
tools,docs,stubdom is using this variable.

Signed-off-by: Olaf Hering <olaf@aepfle.de>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Cc: Ian Campbell <ian.campbell@citrix.com>
Cc: Ian Jackson <ian.jackson@eu.citrix.com>
Cc: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Cc: Wei Liu <wei.liu2@citrix.com>
config/StdGNU.mk diff | blob | history
config/SunOS.mk diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.